Modules in the area of Theoretical Computer Science

ModuleLV TypeCPLVDatesExamination
Advanced Topics in LogicFach-/Modulprüfung6589359
Übung588003Mi 16:30-18:00 AH III (2350|314.1) (×15)
Vorlesung588001Mo 10:30-12:00 AH II (2350|111) (×15)
Do 16:30-18:00 AH II (2350|111) (×15)
Algorithmic Foundations of DatascienceFach-/Modulprüfung6585082
Übung579319Mi 12:30-14:00 AH I (2350|028) (×15)
Vorlesung579330Di 16:30-18:00 AH I (2350|028) (×15)
Do 14:30-16:00 AH I (2350|028) (×15)
Algorithmic Game TheoryFach-/Modulprüfung6585094
Algorithmic Model Theory IFach-/Modulprüfung8582183
Analysis of AlgorithmsFach-/Modulprüfung8582278
Combinatorial Optimisation in Scientific PractiseFach-/Modulprüfung9585904
Projekt580931
Compiler ConstructionFach-/Modulprüfung6582126
Concurrency TheoryFach-/Modulprüfung6581976
CryptographyFach-/Modulprüfung6589362Di 16.02.2027 14:00-15:30
     ZuseLab C1 (2315|107)
     ZuseLab C3 (2315|211)
     ZuseLab C4 (2315|201)
Di 23.03.2027 09:00-10:30
     ZuseLab C1 (2315|107)
     ZuseLab C3 (2315|211)
Vorlesung/Übung589361Mi 14:30-16:00 AH III (2350|314.1) (×15)
Do 10:30-12:00 AH III (2350|314.1) (×15)
Fr 14:30-16:00 H06 (1385|004) (×15)
Dynamical Processes on NetworksFach-/Modulprüfung6583294Fr 12.02.2027 14:30-16:00 Eph (1090|321)
Do 11.03.2027 12:00-13:30 PPS H2 (2315|001)
Übung587452Do 10:30-12:00 OC Hörsaal (2030|015) (×14)
Vorlesung587451Mo 12:30-14:00 AH VI (2356|051) (×12)
Di 16:30-18:00 AH VI (2356|051) (×10)
Foundations of Learning on GraphsFach-/Modulprüfung6584410Mi 03.03.2027 09:00-11:00 HKW 1 (1132|203)
Do 01.04.2027 09:00-11:00 AH VI (2356|051)
Vorlesung/Übung579973Mo 10:30-12:00 MS (1220|009) (×15)
Mi 08:30-10:00 AH I (2350|028) (×15)
Foundations of the UMLFach-/Modulprüfung6585104
Graph Decompositions and Algorithmic ApplicationsFach-/Modulprüfung6585609
Übung588005Di 12:30-14:00 AH II (2350|111) (×12)
Vorlesung588004Mo 14:30-16:00 5056 (2356|056) (×12)
Fr 14:30-16:00 AH III (2350|314.1) (×13)
Infinite Computations and GamesFach-/Modulprüfung6582432
Übung578158Do 12:30-14:00 5054 (2356|054) (×14)
Vorlesung578375Mi 10:30-12:00 5056 (2356|056) (×15)
Logic and GamesFach-/Modulprüfung8584059
Fach-/Modulprüfung8584058
Mathematical Logic IIFach-/Modulprüfung8582180
Model CheckingFach-/Modulprüfung6585086Fr 12.02.2027 16:30-18:30
     PPS H1 (2315|101)
     Roter Hörsaal AM (Ro) (1420|002)
Mi 10.03.2027 12:00-14:00 TEMP1 (1515|001)
Übung577398Fr 12:30-14:00 AH I (2350|028) (×15)
Vorlesung578334Mi 14:30-16:00 AH I (2350|028) (×15)
Do 16:30-18:00 AH I (2350|028) (×15)
Modeling and Verification of Probabilistic SystemsFach-/Modulprüfung6582969
Module Complexity TheoryFach-/Modulprüfung6582407
Optimization and UncertaintyFach-/Modulprüfung6584844
Parameterized AlgorithmsFach-/Modulprüfung8585087
Übung600240Mi 14:30-16:00 5055 (2356|055) (×15)
Vorlesung600239Di 12:30-14:00 5056 (2356|056) (×14)
Do 12:30-14:00 5056 (2356|056) (×15)
Post-quantum cryptographyFach-/Modulprüfung6584032
Probabilistic ProgrammingFach-/Modulprüfung6582304Fr 19.02.2027 09:00-11:00
     004 (1830|004)
     BS II (2131|102)
Mo 15.03.2027 12:00-14:00 BS II (2131|102)
Übung577153Di 10:30-12:00 AH I (2350|028) (×14)
Vorlesung577327Mo 16:30-18:00 AH II (2350|111) (×15)
Do 12:30-14:00 AH III (2350|314.1) (×15)
Research Focus Class on LogicProjekt599020Di 14:30-16:00 Seminarraum i7, Raum 4116 (2353|116) (×15)
Fach-/Modulprüfung6599021
Satisfiability CheckingFach-/Modulprüfung6582368
Vorlesung/Übung578303Mo 10:30-12:00 AH V (2356|050) (×13)
Mi 14:30-16:00 AH V (2356|050) (×14)
Fr 14:30-15:15 5056 (2356|056) (×14)
Semantics and Verification of SoftwareFach-/Modulprüfung6585052Di 23.02.2027 09:00-11:00 H06 (1385|004)
Mo 22.03.2027 09:00-11:00 AH VI (2356|051)
Übung587536Mi 10:30-12:00 AH I (2350|028) (×1)
Do 14:30-16:00 AH II (2350|111) (×1)
Fr 14:30-16:00 AH I (2350|028) (×14)
Vorlesung587537Mi 10:30-12:00 AH I (2350|028) (×14)
Do 14:30-16:00 AH II (2350|111) (×14)
Stochastic GamesFach-/Modulprüfung6581578
Theory of Distributed SystemsFach-/Modulprüfung6583876